/LMAR=0/XLINE=3/FONT#0=BASL30/FONT#1=BASI30/FONT#2=BASB30/FONT#10=BAXM30/FONT#11=ZERO30/FONT#3=STA200/FONT#4=NGB25
␈↓ ↓H␈↓␈↓βS␈↓∧ Artificial Intelligence Laboratory, STANFORD UNIVERSITY, Stanford, California 94305

␈↓ ↓H␈↓∧Telephone 415 497-4430␈↓ 	oOctober 26, 1978 




␈↓ ↓H␈↓Professor Thomas E. Cheatham, Jr.
␈↓ ↓H␈↓Center for Research in Computing Technology
␈↓ ↓H␈↓Harvard University
␈↓ ↓H␈↓Aiken Computation Laboratory
␈↓ ↓H␈↓Cambridge, Mass. 02138

␈↓ ↓H␈↓Dear Tom:

␈↓ ↓H␈↓        I␈αcan␈α
think␈αof␈α
two␈αrecent␈α
theses␈αthat␈αshould␈α
be␈αpublished.␈α
 The␈α≡rst␈α
is␈αby␈α
R.S.␈αCartwright
␈↓ ↓H␈↓now␈αat␈αCornell␈αand␈αis␈αentitled␈α␈↓↓A␈αPractical␈αFormal␈αSemantic␈αDe≡nition␈αand␈αVeri≡cation␈αSystem␈αfor
␈↓ ↓H␈↓↓Typed LISP␈↓.

␈↓ ↓H␈↓        The␈α∞second␈α∞is␈α∞an␈α∞M.I.T.␈α
Master's␈α∞thesis␈α∞by␈α∞Robert␈α∞Moore.␈α
 When␈α∞they␈α∞(Minsky,␈α∞et.␈α∞al.␈α
at
␈↓ ↓H␈↓M.I.T.)␈αsaw␈αit,␈αthey␈αsaid␈αMcCarthy␈αwill␈αbe␈αmore␈αinterested␈αin␈αit␈αthan␈αwe␈αare,␈αand␈αMoore␈αcame␈αout
␈↓ ↓H␈↓here␈α∪to␈α∪≡nish␈α∪his␈α∪M.I.T.␈α∪doctorate.␈α∪ Their␈α∩problem␈α∪was␈α∪that␈α∪it␈α∪was␈α∪a␈α∪theoretical␈α∪thesis␈α∩on
␈↓ ↓H␈↓representation␈α
of␈α
information␈α
and␈α
didn't␈α
involve␈αactual␈α
programming.␈α
 I␈α
told␈α
them␈α
that␈α
the␈αbest
␈↓ ↓H␈↓solution␈α∞to␈α∞their␈α∞problem␈α∞was␈α∂to␈α∞give␈α∞him␈α∞a␈α∞doctorate␈α∂for␈α∞the␈α∞Master's␈α∞thesis␈α∞but␈α∂they␈α∞couldn't
␈↓ ↓H␈↓bring␈α⊃themselves␈α⊂to␈α⊃go␈α⊃that␈α⊂far.␈α⊃ Moore␈α⊂has␈α⊃≡nished␈α⊃his␈α⊂Ph.D.␈α⊃thesis,␈α⊂but␈α⊃it␈α⊃covers␈α⊂di≥erent
␈↓ ↓H␈↓material.␈α⊃ The␈α⊃Master's␈α⊂thesis␈α⊃has␈α⊃already␈α⊂been␈α⊃quite␈α⊃in∨uential␈α⊂and␈α⊃should␈α⊃be␈α⊃published.␈α⊂ I
␈↓ ↓H␈↓enclose a list of references to it that have already appeared.

␈↓ ↓H␈↓        I␈α∩hope␈α∪that␈α∩Garland␈α∪will␈α∩be␈α∪able␈α∩to␈α∩recognize␈α∪an␈α∩opportunity␈α∪that␈α∩was␈α∪probably␈α∩not
␈↓ ↓H␈↓included␈αin␈αtheir␈αoriginal␈αintentions.␈α Moore␈αis␈αnow␈αemployed␈αat␈αSRI.␈α Do␈αnot␈αconfuse␈αhim␈αwith␈α
J
␈↓ ↓H␈↓Moore who also works at SRI with Bob Boyer.


␈↓ ↓H␈↓Sincerely,



␈↓ ↓H␈↓John McCarthy
␈↓ ↓H␈↓Director
␈↓ ↓H␈↓Professor of Computer Science